Buy Used and New Dale Miller Books

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings: 7679 (Lecture Notes in Computer Science)

by Chris Hawblitzel,Dale Miller

ISBN 13: 9783642353079

Format: Paperback (316 pages)
Publisher: Springer
Published: 01 Nov 2012

Save for later